English translation for "symbolic execution"

符号执行 通过符号表达式来执行程序路径的一种静态分析设计技术。其中，程序的执行被用符号来模拟，例如，使用变量名而不是实际值，程序的输出被表示成包含这些符号的逻辑或数学表达式。

Related Translations:

symbolic:  adj.记号的，符号的；象征的。

symbolic stream:  符号流

symbolic thinking:  象征性思维

symbolic differentiation:  符号微分法

symbolic reference:  符号访问, 符号引用符号引用

symbolic compiler:  符号编译程序

symbolic integration:  符号积分

symbolic link:  符号连接符号链接

symbolic file:  符号文件

symbolic address:  【电脑】符号地址。

Example Sentences:

	1.	For this reason , the thesis presents an approach based on constraint satisfaction , symbolic execution and extended finite state machines . it can analyze programs written in a subset of the c programming language 针对上述情况，本文中提出了一种方法，它基于约束满足问题求解方法和扩展有限状态机上的符号执行算法，能够对c语言子集描述的程序进行分析。
	2.	In this thesis , we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism . based on path analysis and symbolic execution , we describe two methods , static analysis and dynamic analysis , for detecting data dependence of array variables in loops of sequential programs 进而提出了基于路径分析和符号执行的静态测试和动态测试方法，来研究串行程序中循环内部数组变量的数据相关性，该方法对于下标表达式为线性表达式时有很好的效果，而且能够处理一些复杂的数组下标表达式，比如数组下标表达式含有输入变量和非线性下标表达式的情况。

Similar Words：

"symbolic equation" English translation, "symbolic equivalent" English translation, "symbolic error correcting code" English translation, "symbolic evaluation" English translation, "symbolic evidence" English translation, "symbolic expression" English translation, "symbolic file" English translation, "symbolic file name" English translation, "symbolic file system" English translation, "symbolic flowchart language" English translation